< 1 >
Entscheidungsproblem
El Entscheidungsproblem (problema de decisión) pide un algoritmo que decida si un enunciado dado es demostrable a partir de axiomas utilizando las reglas de la lógica.
Explicación
HistoriaEste problema fue propuesto por el matemático alemán David Hilbert en 1928. |